SimpleMap.java

package controller;

import java.io.File;
import java.io.IOException;
import java.util.List;

public interface SimpleMap {
	

	/**
	 * @pre  key != null && isAlpha(values.get(0))==true;
	 * @post isConsistent() == true;
	 */
	
	public void addElement(String key, List<String> values);


	/**
	 * @pre key != null;
	 * @post isConsistent() == true;
	 */
	
	public void removeElement(String key);


	/**
	 * @pre key != null && hashMap.isEmpty() == false;
	 * @post isConsistent()==true;
	 */
	
	public String searchElement(String key);
	
	/**
	 * @pre fileName.endsWith(".json") && fileName != null;
	 * @post isConsistent()==true;
	 */
	
	public void populate(String fileName) throws IOException;

	/**
	 * @pre fileName != null && fileName.isFile();
	 * @post isConsistent()==true;
	 */
	
	public void saveToFile(File fileName);
	
	/**
	 * @pre  key != null && isAlpha(values.get(0))==true;
	 * @post isConsistent() == true;
	 */

	public void updateElement(String key, List<String> values);
}